Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
161	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:34 Functional programming Lambda calculus Type theory Data types Theoretical computer science Type system Continuation-passing style Simply typed lambda calculus C Sharp Software engineering Computing Computer programming
162	INTRODUCTION TO REAL ANALYSIS William F. Trench Professor Emeritus Trinity University Add to Reading List Source URL: bolyai.cs.elte.hu Language: English - Date: 2010-04-27 15:31:57 Functions and mappings Differential calculus Integral calculus Functional analysis Integral Lebesgue integration Differential equation Improper integral Real analysis Mathematical analysis Mathematics Calculus
163	JOUAL 2009 Workshop * Just One Universal Algorithm * Pisa, CNR-Area, July 10, 2009 Emergent properties of Add to Reading List Source URL: www.mtnmath.com Language: English - Date: 2009-08-23 20:15:03 Numerical analysis Partial differential equations Control theory Discretization Functional analysis Differential equation Wave equation Schrödinger equation Recurrence relation Mathematical analysis Mathematics Calculus
164	Lambda in Java Olena Syrota, Kyiv Pre-production Java Lab Lead Java 8 • Issue is planned for summer of 2013 Add to Reading List Source URL: pti.kpi.ua Language: English - Date: 2013-01-30 10:27:19 Subroutines Lambda calculus Functional programming Anonymous function Closure Lambda Function Binary lambda calculus Continuation-passing style Software engineering Declarative programming Computing
165	Programming Techniques for Partial Evaluation Olivier Danvy BRICS † Department of Computer Science University of Aarhus ‡ January 2000 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Functional programming Subroutines Recursion Scheme Combinatory logic Closure Function Lambda Software engineering Declarative programming Computing
166	Secure Implementations of Typed Channel Abstractions (Extended Abstract) Michele Bugliesi Marco Giunti Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:42 Applied mathematics Process calculi Π-calculus Lambda calculus Valuation Function Curry–Howard correspondence Holomorphic functional calculus Mathematics Theoretical computer science Abstract algebra
167	An LLVM backend for OCaml Colin Benner University of Siegen September 14, 2012 Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:36:02 Functional languages Programming language implementation Compiler construction OCaml Subroutines Lambda calculus LLVM Preprocessor ML Software engineering Computing Computer programming
168	Sneaking Around concatMap Efficient Combinators for Dynamic Programming Christian H¨oner zu Siederdissen Institute for Theoretical Chemistry, University of Vienna, 1090 Wien, Austria Add to Reading List Source URL: www.tbi.univie.ac.at Language: English - Date: 2012-07-04 05:49:20 Higher-order functions Lambda calculus Functional programming Recursion Procedural programming languages Combinatory logic Fold Dynamic programming Map Software engineering Computing Computer programming
169	Generating a Pattern Matching Compiler by Partial Evaluation Jesper Jørgensen ∗ DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Logic in computer science Models of computation Lambda calculus Functional programming Programming language semantics Denotational semantics Fixed-point combinator Compiler-compiler Compiler Software engineering Computing Theoretical computer science
170	Towards a Portable and Mobile Scheme Interpreter Adrien Pi´erard Marc Feeley Universit´e Paris 6 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:08 Subroutines Functional programming Scheme programming language Functional languages Control flow Scheme Closure Continuation Lambda calculus Software engineering Computing Computer programming

UPDATE